N((implements), h, (0)) : B
T
